single line comments in PHP